Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4)

Shonan Challenge Shonan Challenge for Generative Programming Short Position Paper

The appeal of generative programming is “abstraction without guilt”: eliminating the vexing trade-off between writing highlevel code and highly-performant code. Generative programming also promises to formally capture the domain-specific knowledge and heuristics used by high-performance computing (HPC) experts. How far along are we in fulfilling these promises? To gauge our progress, a recent S...

Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)

The NII Shonan Configurable Computing Workshop (NII Shonan Meeting 2012-11)

Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11)

Grid and Cloud Security: A Confluence (NII Shonan Meeting 2012-8)